Merge branch 'otte/for-master' into 'master'
authorBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 16 Oct 2019 20:25:57 +0000 (20:25 +0000)
committerBenjamin Otte <otte.benjamin@googlemail.com>
Wed, 16 Oct 2019 20:25:57 +0000 (20:25 +0000)
commit342d88a1dc51157e276ee8baff00c9865ca4f16b
treed4b038901a1358def288d98767635354058260a0
parentd36d7d93e6ddf3410f690aefb39faedf373138a3
parentbab7f56f640bbe18df28aec0a1a31501cdef9753
Merge branch 'otte/for-master' into 'master'

Otte/for master

See merge request GNOME/gtk!1136